Church-Rosser Systems, Codes with Bounded Synchronization Delay and Local Rees Extensions

نویسندگان

  • Volker Diekert
  • Lukas Fleischer
چکیده

What is the common link, if there is any, between Church-Rosser systems, prefix codes with bounded synchronization delay, and local Rees extensions? The first obvious answer is that each of these notions relates to topics of interest for WORDS: Church-Rosser systems are certain rewriting systems over words, codes are given by sets of words which form a basis of a free submonoid in the free monoid of all words (over a given alphabet) and local Rees extensions provide structural insight into regular languages over words. So, it seems to be a legitimate title for an extended abstract presented at the conference WORDS 2017. However, this work is more ambitious, it outlines some less obvious but much more interesting link between these topics. This link is based on a structure theory of finite monoids with varieties of groups and the concept of local divisors playing a prominent role. Parts of this work appeared in a similar form in conference proceedings [6, 11] where proofs and further material can be found.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A survey on the local divisor technique

Local divisors allow a powerful induction scheme on the size of a monoid. We survey this technique by giving several examples of this proof method. These applications include linear temporal logic, rational expressions with Kleene stars restricted to prefix codes with bounded synchronization delay, Church-Rosser congruential languages, and Simon’s Factorization Forest Theorem. We also introduce...

متن کامل

Characterizing Classes of Regular Languages Using Prefix Codes of Bounded Synchronization Delay

In this paper we continue a classical work of Schützenberger on codes with bounded synchronization delay. He was interested to characterize those regular languages where the groups in the syntactic monoid belong to a variety H. He allowed operations on the language side which are union, intersection, concatenation and modified Kleene-star involving a mapping of a prefix code of bounded synchron...

متن کامل

Linear matrix inequality approach for synchronization of chaotic fuzzy cellular neural networks with discrete and unbounded distributed delays based on sampled-data control

In this paper, linear matrix inequality (LMI) approach for synchronization of chaotic fuzzy cellular neural networks (FCNNs) with discrete and unbounded distributed delays based on sampled-data controlis investigated. Lyapunov-Krasovskii functional combining with the input delay approach as well as the free-weighting matrix approach are employed to derive several sufficient criteria in terms of...

متن کامل

Finite Time Mix Synchronization of Delay Fractional-Order Chaotic Systems

Chaos synchronization of coupled fractional order differential equation is receiving increasing attention because of its potential applications in secure communications and control processing. The aim of this paper is synchronization between two identical or different delay fractional-order chaotic systems in finite time. At first, the predictor-corrector method is used to obtain the solutions ...

متن کامل

Least Upper Bounds on the Size of Church-Rosser Diagrams in Term Rewriting and λ-Calculus

We study the Church-Rosser property—which is also known as confluence—in term rewriting and λ-calculus. Given a system R and a peak t ∗← s →∗ t′ in R, we are interested in the length of the reductions in the smallest corresponding valley t →∗ s′ ∗← t′ as a function vsR(m,n) of the size m of s and the maximum length n of the reductions in the peak. For confluent term rewriting systems (TRSs), we...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2017